Skip to content

fix man page typos#194

Merged
tjko merged 1 commit intotjko:mainfrom
r-ricci:man
Aug 26, 2025
Merged

fix man page typos#194
tjko merged 1 commit intotjko:mainfrom
r-ricci:man

Conversation

@r-ricci
Copy link
Copy Markdown
Contributor

@r-ricci r-ricci commented Aug 12, 2025

No description provided.

@tjko tjko merged commit bbfc8f7 into tjko:main Aug 26, 2025
7 of 8 checks passed
@tjko
Copy link
Copy Markdown
Owner

tjko commented Aug 26, 2025

@r-ricci, thanks.

@Shot2
Copy link
Copy Markdown

Shot2 commented Aug 26, 2025

At least a typo remaining, 'jpetoptim'

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants